ective Static Debugging via Componential Set Based Analysis
نویسندگان
چکیده
E ective Static Debugging via Componential Set Based Analysis
منابع مشابه
Eeective Static Debugging via Componential Set-based Analysis Abstract Eeective Static Debugging via Componential Set-based Analysis
E ective Static Debugging via Componential Set-Based Analysis by Cormac Flanagan Sophisticated software systems are inherently complex. Understanding, debugging and maintaining such systems requires inferring high-level characteristics of the system's behavior from a myriad of low-level details. For large systems, this quickly becomes an extremely di cult task. MrSpidey is a static debugger tha...
متن کاملPacket flow analysis in IP networks via abstract interpretation
Static analysis (aka offline analysis) of a model of an IP network is useful for understanding, debugging, and verifying packet flow properties of the network. There have been static analysis approaches proposed in the literature for networks based on model checking as well as graph reachability. Abstract interpretation is a method that has typically been applied to static analysis of programs....
متن کاملA Debugging Scheme for Declarative Equation Based Modeling Languages
This paper concerns the static analysis for debugging purposes of programs written in declarative equation based modeling languages. We first give an introduction to declarative equation based languages and the consequences equation based programming has for debugging. At the same time, we examine the particular debugging problems posed by Modelica, a declarative equation based modeling languag...
متن کاملA New Way of Debugging Lisp Programs
A major cause of software unreliability is the misapplication of primitive operations, such as taking the car of nil, dividing by zero, or using an invalid array index. These errors are traditionally discovered by extensive testing and debugging, but this approach is unsatisfactory because it is time-consuming and may not identify all potential errors. We suggest to address this problem with so...
متن کاملProgram Debugging and Validation Using Semantic Approximations and Partial Specifications
The technique of Abstract Interpretation [11] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization during program compilation. However, recently, novel and promising applications of semantic approximations have been proposed in the more general...
متن کامل